Die Geschichte der Nierentransplantation

Ziel der vorliegenden medizinhistorischen Arbeit war die Darstellung der Entwicklung der Nierentransplantation von einer zunächst mit hohem experimentellen Charakter behafteten Therapiemöglichkeit bis zu einer Standardtherapie, wobei diese Entwicklung medizintheoretischen und außermedizinischen Einflüssen unterlag. Strukturell ließen sich dabei drei Entwicklungsphasen voneinander abgrenzen. Im Mittelpunkt dieser Betrachtung steht die Entwicklung der Nierentransplantation von 1880 bis 1930 und die Etablierung nach dem 2. Weltkrieg bis in die Gegenwart. Die Fortschritte auf dem Sektor der Immunologie, die Entwicklung der Dialyse sowie die Entstehung einer Organisationsstruktur hatten einen entscheidenden Anteil an der Entwicklung der Nierentransplantation, welches sich an dem starken Anstieg der Transplantationszahl in den beiden letzten Jahrzehnten des 20. Jahrhunderts beweisen läßt

Eine präzise Multilevel-Testbench zur Systemsimulation und Charakterisierung einer 2,5 GHz PLL

In diesem Aufsatz wird eine präzise Multilevel-Testbench zur PLL-Charakterisierung vorgestellt. Die Schwerpunkte dieses Beitrags sind einerseits das 10 GHz VCO-Design und andererseits die vorhersagefähigen Ergebnisse der mit Hilfe dieses Multilevelansatzes durchgeführten PLL-Systemsimulationen. <br><br> Bei dem VCO-Design wurden folgende Ergebnisse erreicht: Abstimmbereich ≈26% bzw. kvco≈1300 MHz/V, Phasenrauschen PN=–101,4 dBc/Hz @1 MHz Offset vom 10 GHz Träger, Leistungsverbrauch = 5,5 mW. Als realistisches Demonstrationsbeispiel ist das „analog mixed signal“-Verhalten eines 2,5 GHz PLL-Systems für „dual-conversion“-Strukturen bei IEEE 802.11a WLAN-Anwendungen gewählt worden. Für dieses Beispiel wird eine effiziente PLL-Modellierung kritischer PLL-Blöcke (Frequenzteiler und Phasenfrequenzdetektor) auf der Basis der PSS-Analyse und neuer Verilog-A/MS Befehle demonstriert. Die dabei verwendete Testbench kann im Prinzip in verschiedenen aktuellen Wireless Kommunikationssystemen bis 10 GHz wieder verwendet werden (Reuse-IP). Dieser Ansatz führt einerseits zur Verbesserung der Simulationszeiten (verglichen mit dem Transistorlevel) und andererseits zu genaueren und realistischeren Ergebnissen, vor allem am VCO-Ausgang (verglichen mit dem HDL-Level)

Data access and integration in the ISPIDER proteomics grid

Grid computing has great potential for supporting the integration of complex, fast changing biological data repositories to enable distributed data analysis. One scenario where Grid computing has such potential is provided by proteomics resources which are rapidly being developed with the emergence of affordable, reliable methods to study the proteome. The protein identifications arising from these methods derive from multiple repositories which need to be integrated to enable uniform access to them. A number of technologies exist which enable these resources to be accessed in a Grid environment, but the independent development of these resources means that significant data integration challenges, such as heterogeneity and schema evolution, have to be met. This paper presents an architecture which supports the combined use of Grid data access (OGSA-DAI), Grid distributed querying (OGSA-DQP) and data integration (AutoMed) software tools to support distributed data analysis. We discuss the application of this architecture for the integration of several autonomous proteomics data resources

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

The theory of institutions, introduced by Goguen and Burstall in 1984, can be thought of as an abstract formulation of model theory. This theory has been shown to be particularly useful in computer science, as a mathematical foundation for formal approaches to software construction. Institution theory was extended by a number of researchers, José Meseguer among them, who, in 1989, presented General Logics, wherein the model theoretical view of institutions is complemented by providing (categorical) structures supporting the proof theory of any given logic. In other words, Meseguer introduced the notion of proof calculus as a formalisation of syntactical deduction, thus ?implementing? the entailment relation of a given logic. In this paper we follow the approach initiated by Goguen and introduce the concept of Satisfiability Calculus. This concept can be regarded as the semantical counterpart of Meseguer?s notion of proof calculus, as it provides the formal foundations for those proof systems that resort to model construction techniques to prove or disprove a given formula, thus ?implementing? the satisfiability relation of an institution. These kinds of semantic proof methods have gained a great amount of interest in computer science over the years, as they provide the basic means for many automated theorem proving techniques.Fil: Lopez Pombo, Carlos Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; ArgentinaFil: Castro, Pablo. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Computación; ArgentinaFil: Aguirre, Nazareno M.. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Computación; ArgentinaFil: Maibaum, Thomas S.E.. Mc Master University; Canad

Geometrical dependence of low frequency noise in superconducting flux qubits

A general method for directly measuring the low-frequency flux noise (below 10 Hz) in compound Josephson junction superconducting flux qubits has been used to study a series of 85 devices of varying design. The variation in flux noise across sets of qubits with identical designs was observed to be small. However, the levels of flux noise systematically varied between qubit designs with strong dependence upon qubit wiring length and wiring width. Furthermore, qubits fabricated above a superconducting ground plane yielded lower noise than qubits without such a layer. These results support the hypothesis that localized magnetic impurities in the vicinity of the qubit wiring are a key source of low frequency flux noise in superconducting devices.Comment: 5 pages, 5 figure

Towards the observation of phase locked Bloch oscillations in arrays of small Josephson junctions

We have designed an experiment and performed extensive simulations and preliminary measurements to identify a set of realistic circuit parameters that should allow the observation of constant-current steps at I=2ef in short arrays of small Josephson junctions under external AC drive of frequency f. Observation of these steps demonstrating phase lock of the Bloch oscillations with the external drive requires a high-impedance environment for the array, which is provided by on-chip resistors close to the junctions. We show that the width and shape of the steps crucially depend on the shape of the drive and the electron temperature in the resistors

Lattice-gas Monte Carlo study of adsorption in pores

A lattice gas model of adsorption inside cylindrical pores is evaluated with Monte Carlo simulations. The model incorporates two kinds of site: (a line of) ``axial'' sites and surrounding ``cylindrical shell'' sites, in ratio 1:7. The adsorption isotherms are calculated in either the grand canonical or canonical ensembles. At low temperature, there occur quasi-transitions that would be genuine thermodynamic transitions in mean-field theory. Comparison between the exact and mean-field theory results for the heat capacity and adsorption isotherms are provided

Understanding the Concentration Dependence of Viral Capsid Assembly Kinetics - the Origin of the Lag Time and Identifying the Critical Nucleus Size

The kinetics for the assembly of viral proteins into a population of capsids can be measured in vitro with size exclusion chromatography or dynamic light scattering, but extracting mechanistic information from these studies is challenging. For example, it is not straightforward to determine the critical nucleus size or the elongation time (the time required for a nucleated partial capsid to grow completion). We show that, for two theoretical models of capsid assembly, the critical nucleus size can be determined from the concentration dependence of the assembly reaction half-life and the elongation time is revealed by the length of the lag phase. Furthermore, we find that the system becomes kinetically trapped when nucleation becomes fast compared to elongation. Implications of this constraint for determining elongation mechanisms from experimental assembly data are discussed.Comment: Submitted to Biophysical Journa

Insights into the oral health beliefs and practices of mothers from a north London Orthodox Jewish community

<p>Abstract</p> <p>Background</p> <p>The objective of this study was to explore oral health knowledge and beliefs and access to dental care in a culturally distinct Orthodox Jewish community in North London, with a view to informing local health policy.</p> <p>Methods</p> <p>A dual method qualitative approach to data collection was adopted in this study utilising semi-structured face to face interviews and focus groups with women from this North London orthodox Jewish community. In total nine interviews and four focus groups were conducted with a purposive sample of thirty three mothers from the community aged 21-58 years. The data were transcribed and analysed using Framework Methodology</p> <p>Results</p> <p>Cultural influences, competing pressures and perceptions of hereditary influences, together with a lack of contemporary oral health knowledge are the main factors affecting oral health knowledge and beliefs. This supported an overall perspective of disempowerment or a perceived lack of control over oral health behaviours, both for mothers and their children. Community signposting pointed mothers to dental services, whilst family pressures together with inadequate capacity and capability and generic barriers such as fear and cost acted as barriers. Mothers from this community welcomed community development initiatives from the NHS.</p> <p>Conclusions</p> <p>The results of this study provide insight into the challenges of a culturally isolated community who would welcome community support through schools and expanded culturally appropriate opening hours to improve access to dental care.</p